Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University

Source URL: www.doc.ic.ac.uk

• Computing
• Computer programming
• Software engineering
• Functional languages
• High-level programming languages
• Computer access control
• Object-capability model
• JavaScript
• Heap
• Topological space
• Monad
• Caja project

Centrally Banked Cryptocurrencies George Danezis (University College London) Sarah Meiklejohn (University College London) who’s interested in ‘blockchain’?

Source URL: smeiklej.com

Some recent developments in Kähler geometry and exceptional holonomy Simon Donaldson Simons Centre for Geometry and Physics, Stony Brook Imperial College, London March 3, 2018

Source URL: eta.impa.br

• Geometry
• Mathematics
• Space
• Complex manifolds
• Algebraic geometry
• Differential geometry
• Curvature
• Riemannian manifolds
• Khler manifold
• KhlerEinstein metric
• Ricci curvature
• Constant scalar curvature Khler metric

Centrally Banked Cryptocurrencies George Danezis Sarah Meiklejohn University College London

Source URL: smeiklej.com

• Cryptocurrencies
• Economy
• Money
• Alternative currencies
• Finance
• Digital currencies
• Payment systems
• Bitcoin
• Blockchain
• Unspent transaction output
• Ethereum
• Ripple

AIFMD implementation experiences, challenges and opportunities AIFMD implementation – experiences, challenges and opportunities 8 MayCorinthia Hotel London

Source URL: mfia.org.mt

• Finance
• Money
• Economy
• European Union directives
• Alternative Investment Fund Managers Directive
• Corporate law
• European Union
• Funds
• Investment management
• Agius
• Hedge fund
• Malta

1 Learning Universal Adversarial Perturbations with Generative Models Jamie Hayes and George Danezis University College London

Source URL: www.homepages.ucl.ac.uk

• Artificial intelligence
• Machine learning
• Computational neuroscience
• Learning
• Applied mathematics
• Artificial neural networks
• CIFAR-10
• Deep learning
• Training
• test
• and validation sets
• ImageNet
• Support vector machine
• Generative model

An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Functional languages
• High-level programming languages
• Object-oriented programming
• Data types
• Programming paradigms
• JavaScript
• Scope
• Operational semantics
• Semantics

Shehar Bano Department of Computer Science, University College London, Gower Street WC1E 6BT, London https://sheharbano.com Employment History. • University College London, Dept. of Computer Science

Source URL: sheharbano.com

• Computing
• California
• Information technology
• Steven Murdoch
• Vern Paxson
• Blockchain
• Association for Computing Machinery
• International Computer Science Institute
• Paxson
• Jon Crowcroft

Temporal Inference In Forward Search Temporal Planning Dissertation Abstract Atif Talukdar Supervisors: Maria Fox and Derek Long King’s College London London WC2R 2LS

Source URL: icaps16.icaps-conference.org

• Logic
• Metaphysics
• Philosophy of science
• Theoretical philosophy
• Reasoning
• Logic in computer science
• Expert systems
• Inference
• Logical consequence
• Causality
• Automated planning and scheduling
• Forward chaining